Raffinement de classes dans les langages à objets statiquement typés

RÉSUMÉ. Les classes et la spécialisation apportent simultanément structuration et souplesse aux programmes objets. Ces deux qualités sont, malgré tout, souvent considérées comme insuffisantes, comme en témoignent les nombreuses propositions d’extension du modèle (aspects, modules, etc.). Cet article propose deux notions couplées de raffinement de classes et de modules, la première apportant la souplesse et la seconde, la structuration. Les modules regroupent un ensemble cohérent de définitions de classes et ont également la capacité de modifier les classes définies dans les modules dont ils dépendent.Cette proposition se place dans un cadre de typage statique, où les modules sont compilables séparément. Elle est basée sur un méta-modèle des modules analogue à celui des classes et les problèmes liés à la spécialisation ou au raffinement multiple sont traités de façon similaire à l’héritage multiple.